$\forall$$A$:es\_realizer\{i:l\}. ($\uparrow$Reffect?($A$)) $\Rightarrow$ (Reffect{-}discrete($A$) $\in$ $\mathbb{B}$)